<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html style="height: 100%">
	<head>
		<meta http-equiv="Cache-Control" content="no-cache">
		<script type="text/javascript" src="scripts/boot.js"></script>
		<script type="text/javascript">
			$import("jsdoc");
			$load("search-result.js");
		</script>
	</head>
	<body style="margin: 8px; overflow: false">
		<p class="title">
			Search Results - <label id="elSearchText"></label>
		</p>
		<hr/>
		<p id="elSearchResults" class="search-results"></p>
	</body>
</html>
